Causal Type System for Ambient Movements
نویسنده
چکیده
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. We present a type system for the calculus, parameterized by security constraints expressing where a given ambient may reside and where it may be dissolved. A subject reduction property then guarantees that a welltyped process never violates these constraints; additionally it ensures that communicating subprocesses agree on their “topic of conversation”. Based on techniques borrowed from finite automata theory, type checking of type-annotated processes is decidable. Under certain quite natural restrictions, type inference is also possible. The type system employs a notion of causality in that processes are assigned “behaviors”. This significantly increases the precision of the analysis and compensates for the lack of “co-capabilities” (an otherwise increasingly popular extension to the ambient calculus); also it allows an ambient to hold multiple topics of conversation.
منابع مشابه
Developing a Feature Extraction of Existing Structures Using an Ambient Vibration Test
The paper aims to extract the dynamic properties of existing structures without utilizing the analytical models. The ambient vibration testing could be used on any type of frame such as concrete, steel and masonry to investigate the structural vulnerability. The method could be the first stage and necessarily for the retrofit process. To achieve this aim, the ambient vibration testing can...
متن کاملA Comparative Analysis of Contemporary Movements in Indonesia and the Islamic Revolution in Iran
Throughout history until today, the Islamic world has been witness to various movements which have been formed in response to special demands. The current article aims to address the similarities and differences between the political thought[1] of the Islamic Revolution of Iran and two movements in Indonesia namely the Nahdatul Ulama (NU) and the Muhammadiyah movements using a descriptive-compa...
متن کاملVariations in sugarcane yield among farmers’ fields and their causal factors in Northeast Thailand
Information on variations in crop yield among farmer fields in a specific area and theircausal factors is important for efficiently targeting efforts to increase production of the crop inthe target area. This study determined the yield variations and their causal factors for sugarcanegrown in the service area of a sugar mill in Northeast Thailand. Two villages with the dominantsandy and clayey ...
متن کاملTypes for BioAmbients
The BioAmbients calculus is a process algebra suitable for representing compartmentalization, molecular localization and movements between compartments. In this paper we enrich this calculus with a static type system classifying each ambient with group types specifying the kind of compartments in which the ambient can stay. The type system ensures that, in a well-typed process, ambients cannot ...
متن کاملInfluence of Surfactant Type, Surfactant Concentration, and Salinity on Interfacial Tension of a Brine/Live Oil/Surfactant Fluid System: A Case Study of Iranian Asmari Oil Reservoir
The chemical surfactant flooding can mobilize the trapped oil by lowering the interfacial tension between oil and brine and in some cases altering the reservoir rock wettability. In this work, the effect of surfactants on oil/brine interfacial tension was experimentally investigated. First, the effect of surfactants concentration was surveyed. Afterwards, the effect of salinity on surfactant be...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002